Functional languages - PDFSEARCH.IO - Document Search Engine

Functional languages
Results: 3400

#	Item
71	Combining Programming with Theorem Proving Chiyan Chen and Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-11-01 11:55:41 Software engineering Computer programming Computing Functional languages Type theory Data types Procedural programming languages ATS Object-oriented programming ML Polymorphism OCaml
72	Technical Report TTIC-TRMay 2009 CEAL: A C-Based Language for Self-Adjusting Computation Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-07-23 03:32:59 Software engineering Computer programming Computing Functional languages Data types Functional programming Subroutines Procedural programming languages Eval Standard ML Const Continuation-passing style
73	Advances in Programming Languages APL9: Monads and I/O Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-10 19:35:24 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Monad Option type Type class Map ALGOL 68 Functor
74	Contents 1 Language Matters Add to Reading List Source URL: www.supadu.com Language: English - Date: 2015-03-10 08:45:56 Culture Linguistics Language Systemic functional linguistics Languages of the United States Fusional languages Intonation Prosody Sentence Topic and comment Stress English language
75	The Andromeda proof assistant Andrej Bauer University of Ljubljana Workshop on Categorical Logic and Univalent Foundations Add to Reading List Source URL: math.andrej.com Language: English - Date: 2016-07-28 09:19:23 Software engineering Software Programming language theory Type theory Proof assistants Functional languages Agda Univalent foundations Mathematical logic Coq Type system
76	3-1-2_Speaking_Vortrag_Hyatt Add to Reading List Source URL: www.kmk-format.de Language: English - Date: 2009-04-07 10:16:26 Culture Linguistic typology Linguistics Systemic functional linguistics Fusional languages Intonation Prosody Lexis Language German language
77	The Functional Web Editor: Steve Vinoski • Scala Web Frameworks: Looking Beyond Lift Add to Reading List Source URL: steve.vinoski.net Language: English - Date: 2011-09-08 21:52:19 Computing Software Java platform Object-oriented programming languages Cross-platform software Scripting languages Concurrent programming languages Scalatra Scala Play Framework Lift Web framework
78	STK Reference manual Version 4.0 Erick Gallesio Universit´e de Nice - Sophia Antipolis Laboratoire I3S - CNRS URAESSI. Add to Reading List Source URL: kaolin.unice.fr Language: English - Date: 1999-10-01 11:43:26 Software engineering Computer programming Computing Object-oriented programming languages Cross-platform software Procedural programming languages High-level programming languages Functional languages Scheme Lisp Eval Tcl
79	IbexManual Alex Drummond Contents 1 Add to Reading List Source URL: spellout.net Language: English - Date: 2016-02-06 06:39:49 Software engineering Computing Computer programming World Wide Web Cross-platform software Scripting languages JavaScript Functional languages Common Gateway Interface Form Web server JSON
80	Tracing in REDUCE Herbert Melenk Konrad–Zuse–Zentrum f¨ ur Informationstechnik Berlin Takustraße 7 Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:47:44 Software engineering Computer programming Programming language theory Functional languages Lisp Trigonometric functions Subroutine Exponentiation Constructor

UPDATE